-
1 automated reasoning tool
Англо-русский словарь промышленной и научной лексики > automated reasoning tool
См. также в других словарях:
Грузинская Советская Социалистическая республика — (Сакартвелос Сабчота Социалистури Республика) Грузия (Сакартвело). I. Общие сведения Грузинская ССР образована 25 февраля 1921. С 12 марта 1922 по 5 декабря 1936 входила в состав Закавказской федерации (См. Закавказская… … Большая советская энциклопедия